Nuprl Definition : is-richer-than 8,37
x is richer than y is Primitive 
latex

FDL editor aliasesricher

origin